$\forall$$r$:RngSig, $m$:($\mid$$r$$\mid\rightarrow\mathbb{P}$). IsMaxIdeal($r$;$m$) $\in$ $\mathbb{P}$